981. Temporal Logic :
Author: edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Logic design.
Classification :
QA76
.
6
E358
1994
982. Temporal Logic of Programs
Author: by Fred Kröger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
9
.
L63
B947
1987
983. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
Author: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
827
984. Temporal logics : and their applications
Author: edited by Antony Galton
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T46
1987
985. Testfreundliche Synthese hochintegrierter Schaltungen
Author: von Bernhard Eschermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Microprogramming.
Classification :
TK7874
.
65
V663
1992
986. Tests and Proofs
Author: edited by Achim D. Brucker, Jacques Julliand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
987. The Amazing Journey of Reason
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
988. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
989. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
Author: A. Fuhrmann, M. Morreau )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
465
990. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
L5663
1991
991. The P=NP question and Geodel's lost letter
Author: Richard J. Lipton
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
Classification :
QA
،
9
.
65
،.
L57
،
2010
992. The P=NP question and Geodel's lost letter
Author: / Richard J. Lipton
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
Classification :
E-BOOK
993. The Parametric Lambda Calculus :
Author: by Simona Ronchi Della Rocca, Luca Paolini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
QA9
.
5
B975
2004
994. The Pleadings Game :
Author: by Thomas F. Gordon.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy of law.
Classification :
K213
.
B984
1995
995. The Semantic Web - ISWC 2020 [electronic resources
Author: / edited by Jeff Z. Pan...[et al.]
Library: Central library of medical university of Isfahan (Esfahan)
Subject: Database management, Mathematical logic.,Natural language processing (Computer science).
Classification :
QA76
.
9
.
D3
S4
2020
996. The Semantics and Proof Theory of the Logic of Bunched Implications
Author: by David J. Pym.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General).
997. The Z8000 microprocessor, a design handbook
Author: Fawcett, Bradly K.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Circuits ، Electronic digital computers,، Logic design,، Zilog Model Z-08 )Computer(
Classification :
TK
7888
.
F285
1982
998. The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
Author: Zohar Manna, Richard Waldinger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M35
999. <The> design of a Micro processor
Author: Wilhelm G.sproth ; with contribotions by members of the IBM Development Team
Library: Vali Asr University Central Library (Kerman)
Subject: Microprocessoes - Design and constrvction - Data processing,logic design,computer - qided design
Classification :
TK
7895
.
M5
,
S67
1989
1000. <The> design of a Micro processor
Author: Wilhelm G.sproth ; with contribotions by members of the IBM Development Team
Library: Vali Asr University Central Library (Kerman)
Subject: Microprocessoes - Design and constrvction - Data processing,logic design,computer - qided design
Classification :
TK
7895
.
M5
,
S67
1989
